Some properties of system descriptions of ALd
نویسندگان
چکیده
The paper discusses some properties of system descriptions in the recent extension of action language AL (also known as B) by defined fluents.
منابع مشابه
Associative language descriptions
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-free (CF) grammars in explanatory adequacy, yet it provides a simple description and it excludes mathematical sets based on counting properties, which are rarely (if ever) used in compiler construction or in computationa...
متن کاملConciseness of Associative Language Descriptions
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languages. ALD do not use nonterminal symbols, but rely on permissible contexts for specifying valid syntax trees. In order to assess ALD adequacy, we analyze the descriptional complexity of structurally equivalent CF and ALD...
متن کاملRegular Languages and Associative Language Descriptions
The Associative Language Description model (ALD) is a combination of locally testable and constituent structure ideas. It is consistent with current views on brain organization and can rather conveniently describe typical technical languages such as Pascal or HTML. ALD languages are strictly enclosed in context-free languages but in practice the ALD model equals CF grammars in explanatory adequ...
متن کاملThe Ergative System in Balochi from a Typological Perspective
For the Western Iranian languages the transition from the Old Iranian to the Middle-Iranian period is characterised by – among other things – the loss of word-final syllables. This loss had a far-reaching impact on the nominal and verbal systems since it caused the loss of categories which had been expressed by suffixes. The consequences include the emergence of the so-called ergative system. ...
متن کاملبررسی اشکال مختلف آهن و برخی خواص فیزیکی- شیمیایی به‌عنوان شاخصی از تکامل خاک در یک ردیف زمانی روی پادگانه‌های رودخانه کرج در منطقه حسن‌آباد، جنوب تهران
Terraces are old geomorphic surfaces that are not related to present streams and are best places to study the effect of time on soil formation (chronosequence). This research was carried out to study some physico-chemical parameters especially different forms of iron as soil development indices on terraces of Karaj River in Hassan-Abad, southern Tehran. To determine soil development indices in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Applied Non-Classical Logics
دوره 23 شماره
صفحات -
تاریخ انتشار 2013